翻訳と辞書 |
Steensgaard's algorithm : ウィキペディア英語版 | Steensgaard's algorithm
Points to-analysis Pointer analysis is a very important technique used in code optimizations. Bjarne Steensgaard presented an idea of reducing points-to analysis to type inference and type checking, thereby modeling a linear space and almost linear time algorithm for points-to set computation. Steensgaard proposed the points-to analysis for a small imperative but generic pointer language which captures the essential properties of other common pointer languages like C. He has proposed language semantics and typing rules which he use for the analysis. ==References==
*.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Steensgaard's algorithm」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|